Exact algorithms for exact satisfiability problems
- Författare
- Linköpings universitet Vilhelm Dahllöf
- (Vilhelm Dahllöf., Diss. Linköping : Linköpings universitet, 2006)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköpings universitet, LiU-tryck | 2006 | Sverige, Linköping, Linköping | xii, 177 sidor. 24 cm |